Semilattices do not have equationally compact hulls

Filiform papillae do not have taste buds.

1 Professor Assistente (Palestrante). 2 Mestrado (Assistente). 3 Professor (Palestrante). Endereço para correspondência: Mehmet Fatih Sönmez. Department of Histology and Embryology, Faculty of Medicine, Erciyes University, 38039 Kayseri, Turkey. Tel: (+90) 352 4374901 x 23356. Fax: (+90) 352 4375285 Este artigo foi submetido no SGP (Sistema de Gestão de Publicações) da BJORL em 17 de dezembro d...

Why Engineering Models Do Not Have

Consultations do not have to be longer.

Bisimulation is Not Finitely (First Order) Equationally Axiomatisable

This paper considers the existence of nite equational axiomatisations of bisimulation over a calculus of nite state processes. To express even simple properties such as XE = XE[E=X] equationally it is necessary to use some notation for substitutions. Accordingly the calculus is embedded in a simply typed lambda calculus, allowing axioms such as the above to be written as equations of higher typ...

2-Nested Simulation Is Not Finitely Equationally Axiomatizable

2-nested simulation was introduced by Groote and Vaandrager [10] as the coarsest equivalence included in completed trace equivalence for which the tyft/tyxt format is a congruence format. In the linear time-branching time spectrum of van Glabbeek [8], 2-nested simulation is one of the few equivalences for which no finite equational axiomatization is presented. In this paper we prove that such a...